<?php 

	header("Content-type: application/javascript");
	
	require("jquery.js");
	
	echo "\n\n";
	
	require("tiny_mce/plugins/tinybrowser/tb_tinymce.js.php");
	
	echo "\n\n";
	
	require("system.js");

?>